refinement operators

精化运算子